Nuprl Lemma : eq_int_eq_false 13,42

ij:i  j  ((i = j) = ff  
latex


Upbool 1, bool 1
Definitionst  T, P  Q, x:AB(x), , (i = j), False, A, a  b  T 
Lemmasnequal wf, bfalse wf

origin